Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
نویسندگان
چکیده
منابع مشابه
Supervisory Control of Probabilistic Discrete Event Systems
This paper considers supervisory control of probabilistic discrete event systems (PDES). PDESs are modeled as generators of probabilistic languages. The supervisory control problem considered is to find, if possible, a supervisor under whose control the behaviour of a plant is identical to a given probabilistic specification. The probabilistic supervisors we employ are a generalization of the d...
متن کاملA pseudometric in supervisory control of probabilistic discrete event systems
The focus of this paper is the pseudometric used as a key concept in our previous work on optimal supervisory control of probabilistic discrete event systems. The pseudometric is employed to measure the behavioural similarity between probabilistic systems, and initially was defined as a greatest fixed point of a monotone function. This paper further characterizes the pseudometric. First, it giv...
متن کاملSupervisory control of probabilistic discrete-event systems with recovery
The authors discuss supervisory control of probabilistic discrete-event systems in this paper. Supervisors for such systems will take probabilities of event occurrences into consideration in making control decisions. The authors introduce a new concept called “ -containment of a given language” and subsequently study its algebraic properties. They discuss standard supervisor (with only enableme...
متن کاملA Framework for Supervisory Control of Probabilistic Discrete Event Systems
This paper focuses on a framework for probabilistic supervisory control of probabilistic discrete event systems (PDES). PDES are modelled as generators of probabilistic languages, and the supervisors used are probabilistic. In our previous work, we presented and solved a number of supervisory control problems inside the framework. We also suggested a pseudometric to measure the behavioural simi...
متن کاملTowards Optimal Supervisory Control of Probabilistic Discrete Event Systems
This paper considers optimal supervisory control of probabilistic discrete event systems (PDESs). PDESs are modeled as generators of probabilistic languages. The probabilistic supervisors employed enable/disable events with certain probabilities. We consider the case when there exists no probabilistic supervisor to match the behaviour of a plant to a probabilistic requirements specification. Fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2009
ISSN: 0018-9286,1558-2523
DOI: 10.1109/tac.2009.2024376